Quality Assurance in MBE Back and Forth

نویسنده

  • Sebastian Gabmeyer
چکیده

The maturing of model-based engineering (MBE) has led to an increased interest and demand on the verification of MBE artifacts. Numerous verification approaches have been proposed in the past and, in fact, due to their diversity it is sometimes difficult to determine whether a suitable approach for the verification task at hand exists. In the first part of this tutorial, we thus present a classification for verification approaches of MBE artifacts that allows us to categorize approaches, among others, according to their intended verification goal and the capabilities of their verification engine. Based thereon, we briefly overview the landscape of existing verification approaches. In the second part, we iteratively build and verify the behavioral correctness of a small software system with our OCL-based model checker MocOCL.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

پایش مدیریت عملکرد آزمایشگاه های بالینی بیمارستانها براساس شاخص‌های تضمین کیفیت در چهارچوب دستورالعمل های سیستم ایزو

Background: Quality assurance is a prevention-oriented system that can be used to improve the quality of care, increase productivity and monitor the performance management in clinical laboratories. ISO 9001: 2000 requirements are a collection of management and technical systems designed to implement quality assurance and monitor performance management in organizations. Methods: A checklist...

متن کامل

Application of biotechnology to improve livestock products

Biotechnological achievements of recent years have emerged as powerful tool to improve quality attributes of livestock products including milk and meat products. Biotechnological approaches can be employed for improving productivity, economy, physicochemical and nutritional attributes of a wide range of livestock products. The target areas of biotechnological research in the field of livestock ...

متن کامل

Knowledge Quality Assurance in Medical Data Mining

Department of Production and Management Engineering, Technical University of Crete, Chania 73100, Greece Institute of Computer Science, Foundation for Research and Technology Hellas (FORTH), Science and Technology Park of Crete, P.O. Box 1385, 71110 Heraklion, Greece E-mail: {moustaki,loukas}@logistics.tuc.gr or [email protected] Tel: +30 821 28456, +30 81 391696. FAX: +30 821 69410, +30 81...

متن کامل

Quality assurance prusedore in high dose rate bracythrapy

Introduction: Quality assurance is essential for obtaining the best achievable tumor control, avoiding unnecessary side effects, accuracy and safety during performing High Dose Rate (HDR) Brachytherapy (BT). Quality assurance is extremely important because HDR BT procedures are performed quickly, with high doses given in a short time period, with little opportunity for correcti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014